1. Clausal form logic : an introduction to the logic of computer reasoning
Author: Richards, Tom.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
Classification :
QA
76
.
76
.
E95R53
1989
2. Coditional inference and logic for interlligent systems
Author: / I.R. Goodman, H.T. Nguyen and E.A. Walker
Library: Library of Economics (Tehran)
Subject: Expert systems (computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
E95G67
1991
3. Current trends on knowledge-based systems
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
006
.
3
C976
2017
21
